Concurrent Computing with Shared Replicated Memory

The behavioural theory of concurrent systems states that any concurrent system can be captured by a behaviourally equivalent concurrent Abstract State Machine (cASM). While the theory in general assumes shared locations, it remains valid, if different agents can only interact via messages, i.e. sharing is restricted to mailboxes. There may even be a strict separation between memory managing agents and other agents that can only access the shared memory by sending query and update requests to the memory agents. This article is dedicated to an investigation of replicated data that is maintained by a memory management subsystem, whereas the replication neither appears in the requests nor in the corresponding answers. We show how the behaviour of a concurrent system with such a memory management can be specified using concurrent communicating ASMs. We provide several refinements of a high-level ground model addressing different replication policies and internal messaging between data centres. For all these refinements we analyse their effects on the runs such that decisions concerning the degree of consistency can be consciously made.Comment: 23 page

A critical examination of the application of blockchain technology for intellectual property management

This chapter critically investigates the application of blockchain technology for intellectual property management. To date, there have been relatively few critical discussions of the feasibility of utilising blockchain technology for the management of intellectual property, although much has been written, in media and industry sources, about the potential. Our aim, by contrast, is to examine possible limitations - and, subsequently, to suggest tentative solutions to the limitations we identify. Specifically, this paper aims to examine the use of blockchain technology for intellectual property management from two perspectives: operation and implementation. We conclude that, while commentators often focus on technical characteristics of blockchain technology itself, it is the incentive design – which was fundamental to the original Bitcoin proposal – that is also critical to truly decentralised, and disintermediated, intellectual property management

An effective non-parametric method for globally clustering genes from expression profiles

Clustering is widely used in bioinformatics to find gene correlation patterns. Although many algorithms have been proposed, these are usually confronted with difficulties in meeting the requirements of both automation and high quality. In this paper, we propose a novel algorithm for clustering genes from their expression profiles. The unique features of the proposed algorithm are twofold: it takes into consideration global, rather than local, gene correlation information in clustering processes; and it incorporates clustering quality measurement into the clustering processes to implement non-parametric, automatic and global optimal gene clustering. The evaluation on simulated and real gene data sets demonstrates the effectiveness of the algorithm. <br /

Mugla Tourism Information System

This paper defines the software and the network architecture of a system that will be the basis for; ffl Reliable Tourism Data Collection which is automated to the fullest possible

The XML Query Execution Engine (XEE)

The characteristics of XML documents require newways of storing and querying such documents. In this paper, we introduce the concept of our XML Query Execution Engine (XEE), its components, and its current implementation. XEE provides a testbed for our Access Support Tree and TextArray data structure of which the basic idea is to separate the (logical) structure of a document from its &quot;visible&quot; text content. Based on this concept, we bring together database and information retrieval technology to improve storage, retrieval, and querying of large XML document collections, in particular with respect to updates. We further explain our current approach of efficiently implementing Access Support Trees for secondary storage and reveal issues that arise when implementing such a system

Query Evaluation in an Object-Oriented Multimedia Mediator

A multimedia mediator aims at providing a well-structured gateway to some application dependent part of a federated multimedia system. Our specific design employs proxy objects for external multimedia items and introduces a new concept of semi-structured and self-describing types for multimedia items. Query evaluation and optimization hide all details of communication with external sources and explore the external parallel computation capacities, the selectivity of local preprocessing, and the impact of materialization